Dozent: Lohrey, Markus
| Berechenbarkeit | Di | 1515-1645 | KH 2-04 | VO | Lohrey, Markus |
| Berechenbarkeit | Mi | 1715-1845 A | SG 312 | U | Lohrey, Markus |
| Berechenbarkeit | Mi | 1715-1845 B | SG 312 | U | Lohrey, Markus |
| Spieltheoretische Methoden in der Logik | Do | 1315-1445 | KH 2-06 | V | Lohrey, Markus |
| Spieltheoretische Methoden in der Logik | ? | ? | ? | U | Lohrey, Markus |
| Verifikation unendlicher Systeme | Mi | ? | ? | U | Lohrey, Markus |
| Verifikation unendlicher Systeme | Do | 1515-1645 | KH 2-06 | V | Lohrey, Markus |
Stundenplaner,
© Sergej Melnik, 1997.
Für meine Kommilitonen am IfI.
Betreuung/Änderungen: Andreas Zerbst